Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
451	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
452	Call-by-Value is Dual to Call-by-Name Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:48 Mathematics Deduction Logic in computer science Curry–Howard correspondence Philosophy of computer science Type theory Natural deduction Valuation Lambda calculus Logic Mathematical logic Proof theory
453	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science
454	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2008-05-01 19:55:27 Lambda calculus Computability theory Logic in computer science Model theory Proof theory Combinatory logic Haskell Curry Stephen Cole Kleene Type theory Mathematics Mathematical logic Logic
455	PDF Document Add to Reading List Source URL: ndp.jct.ac.il Language: English - Date: 2007-12-10 03:34:36 Mathematical logic Integral Computer algebra system Calculus Maple Mathematical proof Function Theorem Ordinary differential equation Mathematics Logic Functions and mappings
456	Broadening mathematical insight Add to Reading List Source URL: fractus.uson.mx Language: English - Date: 2007-02-28 23:11:12 Mathematics education On-Line Encyclopedia of Integer Sequences Discrete mathematics Calculus Combinatorics Factorial Catalan number Integral Mathematical proof Mathematics Mathematical analysis Integer sequences
457	PDF Document Add to Reading List Source URL: www.wou.edu Language: English - Date: 2004-05-13 19:31:22 Philosophical logic Mathematical proof 0.999... Coset Group Calculus Abstract algebra Mathematical logic Function Mathematics Definition Group theory
458	PDF Document Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2004-03-31 23:23:25 Propositional calculus Formal systems Logical syntax Logical truth Natural deduction Sequent Rule of inference Formal proof First-order logic Logic Mathematical logic Proof theory
459	PDF Document Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-04-15 09:47:15 Propositional calculus Non-classical logic Proof theory Intuitionism Intuitionistic logic Natural deduction Negation First-order logic Law of excluded middle Logic Mathematical logic Mathematical constructivism
460	PDF Document Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2011-12-12 18:08:14 Deduction Non-classical logic Propositional calculus Metalogic Sequent Natural deduction Entailment Cut-elimination theorem Deduction theorem Logic Mathematical logic Proof theory